|
|
GPU-Accelerated Synthesis of Probabilistic Programs
Marcin, Vladimír ; Matyáš, Jiří (referee) ; Češka, Milan (advisor)
V tejto práci sa zoberáme problémom automatizovanej syntézy pravdepodobnostných programov: majme konečnú rodinu kandidátnych programov, v ktorej chceme efektívne identifikovať program spĺňajúci danú špecifikáciu. Aj riešenie tých najjednoduchších syntéznych problémov v praxi predstavuje NP-ťažký problém. Pokrok v tejto oblasti prináša nástroj Paynt, ktorý na riešenie tohto problému používa novú integrovanú metódu syntézy pravdepodobnostných programov. Aj keď sa tento prístup dokáže efektívne vysporiadať s exponenciálnym rastom rodín kandidátnych riešení, stále tu existuje problém spôsobený exponenciálnym rastom jednotlivých členov týchto rodín. S cieľom vysporiadať sa aj s týmto problémom, sme implementovali GPU orientované algoritmy slúžiace na overovanie kandidátnych programov (modelov), ktoré danú úlohu paralelizujú na stavovej úrovni pravdepodobnostých modelov. Celkové zrýchlenie doshiahnuté týmto prístupom za určitých podmienok potom prinieslo takmer teoretický limit možného zrýchlenia syntézneho procesu.
|
|
|
Novel Methods for Semi-Quantitative Analysis of Biochemical Systems
Bíl, Jan ; Andriushchenko, Roman (referee) ; Češka, Milan (advisor)
Cílem této práce je poskytnout nové metody pro analýzu stochastických biochemických systémů. V práci je představena nová třída populační abstrakce založené na Diracových semi-Markovových procesech. Na této abstrakci je popsán algoritmus pro výpočet transientní analýzy a také jsou prezentovány nové časované logické formule umožňující ověření vlastností zajímavých pro biology. Dále je představen a implementován model-checking algoritmus pro tyto formule. Rovněž jsou popsány předběžné experimenty ukazující potenciál tohoto přístupu.
|
|
|
GPU-Accelerated Synthesis of Probabilistic Programs
Marcin, Vladimír ; Matyáš, Jiří (referee) ; Češka, Milan (advisor)
V tejto práci sa zoberáme problémom automatizovanej syntézy pravdepodobnostných programov: majme konečnú rodinu kandidátnych programov, v ktorej chceme efektívne identifikovať program spĺňajúci danú špecifikáciu. Aj riešenie tých najjednoduchších syntéznych problémov v praxi predstavuje NP-ťažký problém. Pokrok v tejto oblasti prináša nástroj Paynt, ktorý na riešenie tohto problému používa novú integrovanú metódu syntézy pravdepodobnostných programov. Aj keď sa tento prístup dokáže efektívne vysporiadať s exponenciálnym rastom rodín kandidátnych riešení, stále tu existuje problém spôsobený exponenciálnym rastom jednotlivých členov týchto rodín. S cieľom vysporiadať sa aj s týmto problémom, sme implementovali GPU orientované algoritmy slúžiace na overovanie kandidátnych programov (modelov), ktoré danú úlohu paralelizujú na stavovej úrovni pravdepodobnostých modelov. Celkové zrýchlenie doshiahnuté týmto prístupom za určitých podmienok potom prinieslo takmer teoretický limit možného zrýchlenia syntézneho procesu.
|
|
|
Novel Methods for Semi-Quantitative Analysis of Biochemical Systems
Bíl, Jan ; Andriushchenko, Roman (referee) ; Češka, Milan (advisor)
Cílem této práce je poskytnout nové metody pro analýzu stochastických biochemických systémů. V práci je představena nová třída populační abstrakce založené na Diracových semi-Markovových procesech. Na této abstrakci je popsán algoritmus pro výpočet transientní analýzy a také jsou prezentovány nové časované logické formule umožňující ověření vlastností zajímavých pro biology. Dále je představen a implementován model-checking algoritmus pro tyto formule. Rovněž jsou popsány předběžné experimenty ukazující potenciál tohoto přístupu.
|
guest ::
